info_TEXINFOS += %D%/porting.texi
